Tinker and Viewpoint Discrimination
نویسندگان
چکیده
منابع مشابه
Tinker, tailor, solver, proof
We introduce Tinker, a tool for designing and evaluating proof strategies based on proof-strategy graphs, a formalism introduced by the authors in [7]. We represent proof strategies as open-graphs, which are directed graphs with additional input/output edges. Tactics appear as nodes in a graph, and can be ‘piped’ together by adding edges between them. Goals are added to the input edges of such ...
متن کاملTinker, Tailor, Soldier, Spy*
We examine the distribution and interpretation of post-copular noun phrases in French when they appear with and without an indefinite article (Marie est (une) physicienne). We propose that the alternation is due to the fact that the indefinite article marks saturation of an NP-internal argument slot, and show that because of this, post-copular indefinite NPs are usually but not always existenti...
متن کاملViewpoint invariance in the discrimination of upright and inverted faces
Current models of face processing support an orientation-dependent expert face processing mechanism. However, even when upright, faces are encountered from different viewpoints, across which a face processing system must be able to generalize. Different computational models have generated competing predictions of how viewpoint variation might affect the perception of upright versus inverted fac...
متن کاملViewpoint--invariance of contour-curvature discrimination over extended performance levels.
A traditional approach to the problem of human object recognition is to assume that the visual system represents an object in terms of invariant quantities. This study considers a generalization of this approach to the problem of visually recognizing differences in shape, specifically between contour markings on a planar surface, as the position of the surface varies in space. For a given 'shap...
متن کاملTinker: Example-Based Programming for Artificial Intelligence
How does AI programming differ from areas like business or scientific programming? One important difference is in the complexity of the problems and procedures necessary for solutions. In many other areas, programming proceeds by first creating complete specifications for the problem, inventing an algorithm guaranteed to meet the specifications, then working out the details of the code, and fin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SSRN Electronic Journal
سال: 2009
ISSN: 1556-5068
DOI: 10.2139/ssrn.1137909